/LMAR=0/XLINE=3/FONT#0=BAXL30[FNT,CLT]/FONT#1=BAXM30/FONT#2=BAXB30[FNT,CLT]/FONT#5=GACS25/FONT#3=SUB/FONT#4=SUP/FONT#7=SYMB30[FNT,CLT]



␈↓ ↓H␈↓␈↓↓        findpath[x, y] ← fp1[<x>, y, ␈↓¬NIL␈↓↓]␈↓



␈↓ ↓H␈↓␈↓↓        fp1[u, y, path] ← ␈↓
␈↓ ↓H␈↓␈↓↓            ␈↓αif␈↓↓ ␈↓αn|␈↓↓u ␈↓αthen␈↓↓ ␈↓¬LOSE␈↓↓␈↓
␈↓ ↓H␈↓␈↓↓            ␈↓αelse␈↓↓ ␈↓αif␈↓↓ ␈↓αa|␈↓↓u ε path ␈↓αthen␈↓↓ fp1[␈↓αd|␈↓↓u, y, path]␈↓
␈↓ ↓H␈↓␈↓↓            ␈↓αelse␈↓↓ ␈↓αif␈↓↓ ␈↓αa|␈↓↓u = y ␈↓αthen␈↓↓ reverse[y . path]␈↓
␈↓ ↓H␈↓␈↓↓            ␈↓αelse␈↓↓ [λw: ␈↓αif␈↓↓ w = ␈↓¬LOSE␈↓↓ ␈↓αthen␈↓↓ fp1[␈↓αd|␈↓↓u, y, path] ␈↓αelse␈↓↓ w][fp1[successors ␈↓αa|␈↓↓u, y, ␈↓αa|␈↓↓u . path]]␈↓